Skip to main content

A computer science version of GΦodel's theorem

Item Preview

texts
A computer science version of GΦodel's theorem


Published August 1983
SHOW MORE


"NPS-52-83-010."

Cover title

"August 1983."

Includes bibliographic references (p. 15)

Technical report; 1983

Prepared for: Chief of Naval Research; Arlington, Virginia 22217

The author presents a simplified proof of Godel's theorem by appealing to well-known programming concepts. The significance of Goedel's result to computer science, mathematics and logic is discussed. (Author)


Publisher Monterey, California : Naval Postgraduate School.
Pages 24
Language en_US
Call number ocm80567956
Digitizing sponsor Naval Postgraduate School, Dudley Knox Library
Book contributor Naval Postgraduate School, Dudley Knox Library
Collection navalpostgraduateschoollibrary; fedlink; americana

Full catalog record MARCXML

[Open Library icon]This book has an editable web page on Open Library.

comment
Reviews

There are no reviews yet. Be the first one to write a review.
SIMILAR ITEMS (based on metadata)
eye
Title
Date Archived
Creator
Department of Defense
by MacLennan, Bruce J.
texts
eye 18
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
by MacLennan, Bruce J.
texts
eye 120
favorite 0
comment 0
Naval Postgraduate School, Dudley Knox Library
by MacLennan, Bruce J.
texts
eye 122
favorite 0
comment 0